Verification and Validation for Safety Critical Real Time Computers
نویسندگان
چکیده
منابع مشابه
Safety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملValidation of Safety-Critical Distributed Real-Time Systems
A safety-critical distributed real-time system is an electronic system where a system failure may cause a severe hazard that will endanger human life or the environment. For the development of such systems, it is desirable to determine in an early development phase whether the system can cause such a hazardous event, before a hardware is built and before the system is in service. This thesis pr...
متن کاملTime Properties Dedicated Semantics for UML-MARTE Safety Critical Real-Time System Verification
Critical real-time embedded systems (RTES) crucially have strong requirement concerning system’s reliability. UML and its profile MARTE are standardized modeling language that are getting widely accepted by industrial designers to cope with the development of complex RTSE. In Model-driven engineering, verification at early phases of the system lifecycle is an important problem, which remains op...
متن کاملOpening up the Verification and Validation of Safety-Critical Software
Smooth cross-border rail traffic is of important interest to commercial realizations of ETCS. Starting from the hypothesis that the traditional way of developing software for safety-critical systems might be an obstacle to standardizing rail traffic, the ITEA 2 project openETCS has set out to pursue the idea of transferring an open-source development style to this domain, taking the EVC as a ta...
متن کاملA Formal Verification and Validation Approach for Real-Time Databases
Real-time database-management systems provide efficient support for applications with data and transactions that have temporal constraints, such as industrial automation, aviation, and sensor networks, among others. Many issues in real-time databases have brought interest to research in this area, such as: concurrence control mechanisms, scheduling policy, and quality of services management. Ho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Intelligent Electronic Systems
سال: 2007
ISSN: 0973-9238
DOI: 10.18000/ijies.30003